lec 14 part a: static analysis of hip